Found 52 Documents (Results 1–52)
Tableaux for the logic of strategically knowing how. (English) Zbl 1541.03060
Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 379-391 (2023).
Tableau-based decision procedure for logic of knowing-how via simple plans. (English) Zbl 1541.03059
Baroni, Pietro (ed.) et al., Logic and argumentation. 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13040, 266-283 (2021).
A logic of knowledge and belief based on abstract arguments. (English) Zbl 1535.03086
Dastani, Mehdi (ed.) et al., Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12061, 116-130 (2020).
MSC:
03B42
Dynamic term-modal logics for first-order epistemic planning. (English) Zbl 1471.68274
Artif. Intell. 286, Article ID 103305, 32 p. (2020); erratum ibid. 323, Article ID 103969, 4 p. (2023).
Statistical epistemic logic. (English) Zbl 1535.03083
Alvim, Mário S. (ed.) et al., The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11760, 344-362 (2019).
Towards logical specification of statistical machine learning. (English) Zbl 1535.68265
Ölveczky, Peter Csaba (ed.) et al., Software engineering and formal methods. 17th international conference, SEFM 2019, Oslo, Norway, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11724, 293-311 (2019).
Beyond knowing that: a new generation of epistemic logics. (English) Zbl 1437.03079
van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 499-533 (2018).
Achieving while maintaining: a logic of knowing how with intermediate constraints. (English) Zbl 1485.03040
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10119, 154-167 (2017).
MSC:
03B42
The logic of justification. (English) Zbl 1384.03096
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 649-693 (2016).
MSC:
03B42
The English tenses, Blanché and the logical kite. (English) Zbl 1371.03037
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 319-337 (2015).
A logic of knowing how. (English) Zbl 1471.03038
van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9394, 392-405 (2015).
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming. (English) Zbl 1315.68230
Free quantified epistemic logics. (English) Zbl 1329.03048
MSC:
03B42
Reasoning about permitted announcements. (English) Zbl 1241.03017
Reviewer: David Makinson (London)
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees. (English) Zbl 1341.68238
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 616-627 (2011).
What will they say? – Public announcement games. (English) Zbl 1222.03021
Reviewer: David Makinson (London)
To know or not to know: Epistemic approaches to security protocol verification. (English) Zbl 1225.03017
Reviewer: Damas Gruska (Bratislava)
Tracking evidence. (English) Zbl 1287.03038
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 61-74 (2010).
MSC:
03B42
Logic and social cognition. The facts matter, and so do computational models. (English) Zbl 1208.03022
Reviewer: Andreas Herzig (Toulouse)
Justification logic. (English) Zbl 1156.03318
Hölldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28–October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 1-4 (2008).
Mathematical modal logic: A view of its evolution. (English) Zbl 1041.03015
Reviewer: Valentin F. Goranko (Johannesburg)
The genesis of possible worlds semantics. (English) Zbl 1006.03003
Reviewer: Jan Waszkiewicz (Wrocław)
The elimination of de re formulas. (English) Zbl 0885.03018
Reviewer: J.Mackenzie (Sydney)
MSC:
03B45
De re language, de re eliminability, and the essential limits of both. (English) Zbl 0883.03003
Reviewer: Leon Horsten (Leuven)
Individualised normative logic. (English) Zbl 0713.03012
Reviewer: David Makinson (London)
MSC:
03B60
European summer meeting of the association for symbolic logic, Aachen 1983. (English) Zbl 0564.03001
MSC:
03-06
On ’de dicto’ modalities in quantified S5. (English) Zbl 0268.02014
MSC:
03B45
The elimination of de re modalities. (English) Zbl 0184.00901
Reviewer: M. J. Cresswell
MSC:
03-XX
Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\). (French) Zbl 0172.29103
Reviewer: Konrad Schultz (Chemnitz)
MSC:
03-XX
A note on deduction theorem for Gödel’s propositional calculus G4. (English) Zbl 0307.02012
MSC:
03B45
Basic modal logic. (English) Zbl 0149.24404
Reviewer: R. A. Bull
MSC:
03-XX
Preference logic and theory choice. (English) Zbl 0178.30803
Reviewer: J. J. F. Nieland
MSC:
03-XX
Quelques remarques sur les ‘tableaux de Beth’. (French) Zbl 0149.24504
Reviewer: J. J. F. Nieland
MSC:
03-XX
What is strict implication? (English) Zbl 0132.24503
Filter Results by …
Document Type
- Journal Articles (39)
- Collection Articles (13)
all
top 5
Author
- Wang, Yanjing (5)
- Artemov, Sergei (3)
- Li, Yanjun (3)
- Anderson, Alan Ross (2)
- Belnap, Nuel D. jun. (2)
- Blondeel, Marjon (2)
- De Cock, Martine (2)
- Lemmon, Edward John (2)
- Schockaert, Steven (2)
- Vermeir, Dirk (2)
- Achen, Andreas (1)
- Ågotnes, Thomas (1)
- Balbiani, Philippe (1)
- Bjerring, Jens Christian (1)
- Copeland, B. Jack (1)
- Corsi, Giovanna (1)
- Cresswell, Maxwell John (1)
- Dechesne, Francien (1)
- Fels, E. M. (1)
- Feys, Robert (1)
- Goldblatt, Robert Ian (1)
- Guillaume, Marcel (1)
- Hacking, Ian (1)
- Hallden, Sören (1)
- Heylen, Jan (1)
- Jaspers, Dany (1)
- Kaminski, Michael (1)
- Li, Xu (1)
- Liberman, Andrés Occhipinti (1)
- Löb, M. H. (1)
- Luckhardt, Horst (1)
- Orlandelli, Eugenio (1)
- Pigozzi, Gabriella (1)
- Pollock, John L. (1)
- Prior, Arthur Norman (1)
- Rendsvig, Rasmus Kræmmer (1)
- Ruan, Ji (1)
- Sato, Tetsuya (1)
- Schwartz, Thomas (1)
- Seban, Pablo (1)
- Skipper, Mattias (1)
- Solin, Kim (1)
- Štěpán, Jan (1)
- Suenaga, Kohei (1)
- Thielscher, Michael (1)
- Thom, Paul (1)
- Tichý, Pavel (1)
- Tsoukiàs, Alexis (1)
- van Ditmarsch, Hans Pieter (1)
- Verbrugge, Rineke (1)
- Viappiani, Paolo (1)
- Zarnecka-Bialy, Ewa (1)
all
top 5
Serial
- J. Symb. Log. (11)
- J. Philos. Log. (8)
- Synthese (7)
- Stud. Log. (3)
- Artif. Intell. (2)
- Arch. Math. Logik Grundlagenforsch. (1)
- Metrika (1)
- Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. (1)
- Fuzzy Sets Syst. (1)
- Notre Dame J. Formal Logic (1)
- Inf. Comput. (1)
- Ann. Math. Artif. Intell. (1)
- J. Appl. Log. (1)
