No abstract available.
Cited By
- Grossi D, Herzig A, Van Der Hoek W and Moyzes C Non-determinism and the dynamics of knowledge Proceedings of the 26th International Joint Conference on Artificial Intelligence, (1053-1059)
- Lempiäinen T Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (357-366)
- Ahrndt S, Fähndrich J, Lützenberger M and Albayrak S Modelling of Personality in Agents Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, (1691-1692)
- Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J and Virtema J (2018). Weak models of distributed computing, with connections to modal logic, Distributed Computing, 28:1, (31-53), Online publication date: 1-Feb-2015.
- Kramer S (2015). Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer), ACM Transactions on Computational Logic, 16:4, (1-32), Online publication date: 19-Nov-2015.
- Furbach U and Schon C Deontic Logic for Human Reasoning Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Volume 9060, (63-80)
- Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J and Virtema J Weak models of distributed computing, with connections to modal logic Proceedings of the 2012 ACM symposium on Principles of distributed computing, (185-194)
- de Boer F, Helvensteijn M and Winter J A modal logic for abstract delta modeling Proceedings of the 16th International Software Product Line Conference - Volume 2, (45-52)
- Helvensteijn M Abstract delta modeling Proceedings of the 16th International Software Product Line Conference - Volume 2, (217-224)
- Achilleos A, Lampis M and Mitsou V (2018). Parameterized Modal Satisfiability, Algorithmica, 64:1, (38-55), Online publication date: 1-Sep-2012.
- Doczkal C and Smolka G Constructive formalization of hybrid logic with eventualities Proceedings of the First international conference on Certified Programs and Proofs, (5-20)
- Carreiro F On characterization, definability and ω-saturated models Proceedings of the 8th international conference on Theoretical aspects of computing, (62-76)
- Rudolph S Foundations of description logics Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (76-136)
- Kramer S, Goré R and Okamoto E (2010). Formal definitions and complexity results for trust relations and trust domains fit for TTPs, the web of trust, PKIs, and ID-based cryptography, ACM SIGACT News, 41:1, (75-98), Online publication date: 1-Mar-2010.
- Achilleos A, Lampis M and Mitsou V Parameterized modal satisfiability Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II, (369-380)
- Kaminski M and Smolka G Clausal graph tableaux for hybrid logic with eventualities and difference Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (417-431)
- Zambach S and Hansen J Logical knowledge representation of regulatory relations in biomedical pathways Proceedings of the First international conference on Information technology in bio- and medical informatics, (186-200)
- Troquard N, Hoek W and Wooldridge M Model Checking Strategic Equilibria Model Checking and Artificial Intelligence, (166-188)
- Hölzl M, Rauschmayer A and Wirsing M Software Engineering for Ensembles Software-Intensive Systems and New Computing Paradigms, (45-63)
- Kaminski M and Smolka G Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse Proceedings of the 4th international joint conference on Automated Reasoning, (210-225)
Recommendations
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej GrzegorczykIn 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...
On Modal Grzegorczyk Logic
Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej GrzegorczykIn 1964-68 Andrzej Grzegorczyk investigated relational and topological semantics for the intuitionistic logic [15]-[18] . In this connection, following to McKinsey and Tarski, he also considered a semantics for modal logics. It is well known that there ...
Ground Nonmonotonic Modal Logic S5: New Results
We study logic programs under Gelfond's translation in the context of modal logic S5. We show that for arbitrary logic programs (propositional theories where logic negation is associated with default negation) ground nonmonotonic modal logics between T ...