Document Search Results

Parametrized modal logic. II: The unidimensional case. (English) Zbl 07860230

Areces, Carlos (ed.) et al., Dynamic logic. New trends and applications. 4th international workshop, DaLí 2022, Haifa, Israel, July 31 – August 1, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13780, 17-36 (2023).

MSC: 03B70

Cite Review PDF

Full Text: DOI

de Lima, Tiago; Lorini, Emiliano; Schwarzentruber, François

Base-based model checking for multi-agent only believing. (English) Zbl 07855137

Gaggl, Sarah (ed.) et al., Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14281, 437-445 (2023).

MSC: 68T27

Cite Review PDF

Full Text: DOI

Balbiani, Philippe; Boudou, Joseph

Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 1435.03055

J. Log. Algebr. Methods Program. 108, 47-68 (2019).

MSC: 03B70 03B25

Cite Review PDF

Full Text: DOI Link

Benevides, Mario; Lopes, Bruno; Haeusler, Edward Hermann

Towards reasoning about Petri nets: a propositional dynamic logic based approach. (English) Zbl 1401.68220

Theor. Comput. Sci. 744, 22-36 (2018).

MSC: 68Q85 03B70 68Q17 68Q25

Cite Review PDF

Full Text: DOI

Van De Putte, Frederik

“That will do”: logics of deontic necessity and sufficiency. (English) Zbl 1385.03028

Erkenntnis 82, No. 3, 473-511 (2017).

Reviewer: Branislav Boričić (Beograd)

MSC: 03B45

Cite Review PDF

Full Text: DOI Link

Holliday, Wesley H.

On the modal logic of subset and superset: tense logic over Medvedev frames. (English) Zbl 1417.03152

Stud. Log. 105, No. 1, 13-35 (2017).

MSC: 03B45 03B44

Cite Review PDF

Full Text: DOI Link

Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann

Propositional dynamic logic for Petri nets with iteration. (English) Zbl 1401.68219

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46749-8/pbk; 978-3-319-46750-4/ebook). Lecture Notes in Computer Science 9965, 441-456 (2016).

MSC: 68Q85 03B45 03B70

Cite Review PDF

Full Text: DOI

Fan, Tuan-Fang; Liau, Churn-Jung

Reasoning about justified belief based on the fusion of evidence. (English) Zbl 1483.68376

Michael, Loizos (ed.) et al., Logics in artificial intelligence. 15th European conference, JELIA 2016, Larnaca, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10021, 240-255 (2016).

MSC: 68T27 03B42

Cite Review PDF

Full Text: DOI

Ågotnes, Thomas; Alechina, Natasha

Embedding coalition logic in the minimal normal multimodal logic with intersection. (English) Zbl 1429.03076

Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 1-22 (2015).

MSC: 03B45 03B60

Cite Review PDF

Full Text: DOI

Ghosh, Sujata; Velázquez-Quesada, Fernando R.

A note on reliability-based preference dynamics. (English) Zbl 1471.91137

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, 129-142 (2015).

MSC: 91B14 91B08

Cite Review PDF

Full Text: DOI

Schmidt, Renate A.; Tishkovsky, Dmitry

Using tableau to decide description logics with full role negation and identity. (English) Zbl 1287.03031

ACM Trans. Comput. Log. 15, No. 1, Article No. 7, 31 p. (2014).

MSC: 03B35 03B45 68T27

Cite Review PDF

Full Text: DOI arXiv

Schmidt, Renate A.; Hustadt, Ullrich

First-order resolution methods for modal logics. (English) Zbl 1383.03031

Voronkov, Andrei (ed.) et al., Programming logics. Essays in memory of Harald Ganzinger. Berlin: Springer (ISBN 978-3-642-37650-4/pbk). Lecture Notes in Computer Science 7797, 345-391 (2013).

MSC: 03B45 03B35 68T15

Cite Review PDF

Full Text: DOI

Ivanov, Nikolay; Vakarelov, Dimiter

A system of relational syllogistic incorporating full Boolean reasoning. (English) Zbl 1305.03025

J. Logic Lang. Inf. 21, No. 4, 433-459 (2012).

MSC: 03B65 03B20

Cite Review PDF

Full Text: DOI arXiv

Castro, Pablo F.; Maibaum, Thomas S. E.

Encapsulating deontic and branching time specifications. (English) Zbl 1279.68200

Theor. Comput. Sci. 455, 98-122 (2012).

MSC: 68Q60 68N30 68Q85

Cite Review PDF

Full Text: DOI

Castro, Pablo F.; Maibaum, Tom S. E.

Towards a first-order deontic action logic. (English) Zbl 1314.03021

Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 61-75 (2012).

MSC: 03B45 03B70 68Q60

Cite Review PDF

Full Text: DOI

Ågotnes, Thomas; Alechina, Natasha

Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection. (English) Zbl 1348.68251

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 139-156 (2011).

MSC: 68T42 03B45 68T15 68T27 91A40

Cite Review PDF

Full Text: DOI

Castro, Pablo F.; Maibaum, T. S. E.

Deontic action logic, atomic Boolean algebras and fault-tolerance. (English) Zbl 1193.03060

J. Appl. Log. 7, No. 4, 441-466 (2009).

MSC: 03B70 03B44 03B45 03G05 68N30

Cite Review PDF

Full Text: DOI

Ågotnes, Thomas; van der Hoek, Wiebe; Wooldridge, Michael

Quantified coalition logic. (English) Zbl 1169.03020

Synthese 165, No. 2, 269-294 (2008).

MSC: 03B60 68Q60 68T27 91A12 91B14

Cite Review PDF

Full Text: DOI

Castro, Pablo F.; Maibaum, T. S. E.

A tableaux system for deontic action logic. (English) Zbl 1143.68595

van der Meyden, Ron (ed.) et al., Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70524-6/pbk). Lecture Notes in Computer Science 5076. Lecture Notes in Artificial Intelligence, 34-48 (2008).

MSC: 68T27 03B35 03B45 68N30

Cite Review PDF

Full Text: DOI

Balbiani, Philippe; Orlowska, Ewa

A hierarchy of modal logics with relative accessibility relations. (English) Zbl 0989.03018

J. Appl. Non-Class. Log. 9, No. 2-3, 303-328 (1999).

MSC: 03B45 68T30

Cite Review PDF

Full Text: DOI HAL

de Rijke, Maarten

A system of dynamic modal logic. (English) Zbl 0910.03016

J. Philos. Log. 27, No. 2, 109-142 (1998).

Reviewer: G.Mints (Stanford)

MSC: 03B45 03B70

Cite Review PDF

Full Text: DOI

Gargov, George; Goranko, Valentin

Modal logic with names. (English) Zbl 0793.03012

J. Philos. Log. 22, No. 6, 607-636 (1993).

Reviewer: U.Scheffler (Berlin)

MSC: 03B45

Cite Review PDF

Full Text: DOI

Németi, István

Algebraization of quantifier logics, an introductory overview. (English) Zbl 0772.03033

Stud. Log. 50, No. 3-4, 485-569 (1991).

Reviewer: J.Monk (Boulder)

MSC: 03G15 03-02 03C95

Cite Review PDF

Full Text: DOI

Passy, Solomon; Tinchev, Tinko

An essay in combinatory dynamic logic. (English) Zbl 0732.03021

Inf. Comput. 93, No. 2, 263-332 (1991).

Reviewer: N.Curteanu (Iaşi)

MSC: 03B70 03B40 03B45

Cite Review PDF

Full Text: DOI

Found 24 Documents (Results 1–24)

Parametrized modal logic. II: The unidimensional case. (English) Zbl 07860230

Base-based model checking for multi-agent only believing. (English) Zbl 07855137

Axiomatization and computability of a variant of iteration-free PDL with fork. (English) Zbl 1435.03055

Towards reasoning about Petri nets: a propositional dynamic logic based approach. (English) Zbl 1401.68220

“That will do”: logics of deontic necessity and sufficiency. (English) Zbl 1385.03028

On the modal logic of subset and superset: tense logic over Medvedev frames. (English) Zbl 1417.03152

Propositional dynamic logic for Petri nets with iteration. (English) Zbl 1401.68219

Reasoning about justified belief based on the fusion of evidence. (English) Zbl 1483.68376

Embedding coalition logic in the minimal normal multimodal logic with intersection. (English) Zbl 1429.03076

A note on reliability-based preference dynamics. (English) Zbl 1471.91137

Using tableau to decide description logics with full role negation and identity. (English) Zbl 1287.03031

First-order resolution methods for modal logics. (English) Zbl 1383.03031

A system of relational syllogistic incorporating full Boolean reasoning. (English) Zbl 1305.03025

Encapsulating deontic and branching time specifications. (English) Zbl 1279.68200

Towards a first-order deontic action logic. (English) Zbl 1314.03021

Reasoning about joint action and coalitional ability in \(K _{n }\) with intersection. (English) Zbl 1348.68251

Deontic action logic, atomic Boolean algebras and fault-tolerance. (English) Zbl 1193.03060

Quantified coalition logic. (English) Zbl 1169.03020

A tableaux system for deontic action logic. (English) Zbl 1143.68595

A hierarchy of modal logics with relative accessibility relations. (English) Zbl 0989.03018

A system of dynamic modal logic. (English) Zbl 0910.03016

Modal logic with names. (English) Zbl 0793.03012

Algebraization of quantifier logics, an introductory overview. (English) Zbl 0772.03033

An essay in combinatory dynamic logic. (English) Zbl 0732.03021

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software