Sciweavers

797 search results - page 93 / 160
» Logics with an existential modality
Sort
View
NDJFL
2002
83views more  NDJFL 2002»
13 years 10 months ago
Shortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...
Zachary Ernst, Branden Fitelson, Kenneth Harris, L...
DALT
2009
Springer
14 years 3 months ago
Tableaux for Acceptance Logic
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Em...
IJCAI
2003
14 years 16 days ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
IANDC
2000
70views more  IANDC 2000»
13 years 11 months ago
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
Christoph Kreitz, Stephan Schmitt
MST
2010
122views more  MST 2010»
13 years 6 months ago
Self-Referential Justifications in Epistemic Logic
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
Roman Kuznets