scientific article

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

possible worlds completeness filtrations decidability deontic logic Kripke models finite model property propositional modal logic conditional logic neighbourhood models normal systems Scott-Montague models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Cut-elimination for quantified conditional logic, Actuality in propositional modal logic, From input/output logics to conditional logics via sequents -- with provers, Logics from Galois connections, Hennessy-Milner and van Benthem for instantial neighbourhood logic, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, A probabilistic deontic logic, Modal logic via global consequence, Uniform Lyndon interpolation for basic non-normal modal logics, Hypergraphs, local reasoning, and weakly aggregative modal logic, Ontological argument and infinity in Spinoza's thought, Subjective reasoning -- dynamic games, Monotone subintuitionistic logic: duality and transfer results, Model theoretical aspects of weakly aggregative modal logic, Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals, An application of temporal projection to interleaving concurrency, Contrary-to-duty obligations, A logic of comparative obligation, Modal logics in the vicinity of S1, Towards reasoning about Hoare relations, Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning, Reasoning-based introspection, The geometry of standard deontic logic, Human rationality challenges universal logic, Simplified Kripke-style semantics for some normal modal logics, Embedding and automating conditional logics in classical higher-order logic, On consistent functions for neighborhood systems, Why the logical hexagon?, A quantitative approach to reasoning about incomplete knowledge, Constrained consequence, The many faces of closure and introspection. An ineractive perspective, A new combination procedure for the word problem that generalizes fusion decidability results in modal logics, Temporal alethic-deontic logic and semantic tableaux, Extending maps to profinite completions in finitely generated quasivarieties, Logics for belief functions on MV-algebras, Temporal aspects of the modal logic of subset spaces, SLAP: specification logic of actions with probability, The paradoxes of permission an action based solution, Knowledge, belief, normality, and introspection, Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity, Free choice reasons, On the logic of cooperation and propositional control, Axiomatizing collective judgment sets in a minimal logical language, A modal logic for subjective default reasoning, Reasoning about ignorance and beliefs, An intrinsic topology for orthomodular lattices, Temporal interaction of information and belief, Rough set reasoning using answer set programs, A unified approach to four important classes of unary operators, Monotonic modal logics with a conjunction, Positive monotone modal logic, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Finitary coalgebraic multisemilattices and multilattices., A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, Basic intuitionistic conditional logic, Action type deontic logic, Introspection as an action in relational models, Logical characterizations of regular equivalence in weighted social networks, A logic of delegation, A system for deduction-based formal verification of workflow-oriented software models, Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism, Pooling modalities and pointwise intersection: axiomatization and decidability, Correspondence, canonicity, and model theory for monotonic modal logics, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, Expressive power and semantic completeness: Boolean connectives in modal logic, Monotonic distributive semilattices, On a strong negation-based representation of modalities, Disappearing diamonds: Fitch-like results in bimodal logic, A family of neighborhood contingency logics, Proof-theoretic analysis of the logics of agency: the deliberative STIT, Explicating logical independence, Maps between covering approximation spaces and the product space of two covering approximation spaces, Announcement as effort on topological spaces, Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences, Tractable reasoning using logic programs with intensional concepts, Efficient multi-agent epistemic planning: teaching planners about nested belief, Neighbourhood semantics for FDE-based modal logics, Toward a general frame semantics for modal many-valued logics, Axiomatization of some basic and modal Boolean connexive logics, Dynamic logic of legal competences, Non-deterministic logic of informal provability has no finite characterization, A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers, The logic of qualitative probability, Supercover semantics for deontic action logic, Axiomatizing the logic of imagination, Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus, NP reasoning in the monotone \(\mu\)-calculus, Knowledge, awareness and probabilistic beliefs, Contrary-to-duty reasoning: a categorical approach, Representing qualitative capacities as families of possibility measures, Local reductions for the modal cube, A topological duality for monotone expansions of semilattices, Multirelational representation theorems for complete idempotent left semirings., Modular sequent calculi for classical modal logics, In the mood for S4: the expressive power of the subjunctive modal language in weak background logics, Rationalizing epistemic bounded rationality, A simple logic for reasoning about incomplete knowledge, Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics, Halldén completeness for relevant modal logics, The semantics of Hoare's iteration rule, Quantified temporal alethic boulesic doxastic logic, Automorphisms of the lattice of classical modal logics, Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed., Intuitionistic non-normal modal logics: a general framework, Modal logics, justification logics, and realization, About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \), Logics for belief as maximally plausible possibility, On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics, Structures of opposition induced by relations. The Boolean and the gradual cases, A logic of separating modalities, Preservation of expressive completeness in temporal models, Logic reduced to bare (proof-theoretical) bones, Belief, awareness, and limited reasoning, Models for normal intuitionistic modal logics, Models for stronger normal intuitionistic modal logics, Covering-based rough sets and modal logics. I., Deontic action logic, atomic Boolean algebras and fault-tolerance, H. B. Smith on modality: A logical reconstruction, Languages with self-reference. II: Knowledge, belief, and modality, Modal operators with probabilistic interpretations. I, Some embedding theorems for conditional logic, On the relation between default and autoepistemic logic, On standard models of fuzzy modal logics, Expressive completeness failure in branching time structures, Hypersequent rules with restricted contexts for propositional modal logics, Metalogical decorations of logical diagrams, First-order classical modal logic, Chronological ignorance: Experiments in nonmonotonic temporal reasoning, Reasoning about common knowledge with infinitely many agents, Agential obligation as non-agential personal obligation plus agency, Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system], Does the deduction theorem fail for modal logic?, Inverse images of box formulas in modal logic, Three-valued logics in modal logic, A completeness proof of Kiczuk's logic of physical change, The logic of justified belief, explicit knowledge, and conclusive evidence, Semantical considerations on multiagent only knowing, The logic of backward induction, Possible worlds semantics for partial meet multiple contraction, Hybrid logic with the difference modality for generalisations of graphs, A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\), A calculus and logic of bunched resources and processes, The logic of risky knowledge, reprised, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Coalgebraic semantics of modal logics: an overview, Branching versus linear logics yet again, Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Dynamic logics of evidence-based beliefs, Possible worlds in use, Levels of modality for BDI logic, General canonical models for graded normal logics. (Graded modalities. IV), Reasoning about social choice functions, Applied logic without psychologism, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition, Zolin and Pizzi: defining necessity from noncontingency, TABLEAUX: A general theorem prover for modal logics, Programming in temporal-nonmonotonic reasoning, Factoring out the impossibility of logical aggregation, Properties of saturation in monotonic neighbourhood models and some applications, A perspective on modal sequent logic, Graded hypothesis theories, Counterfactuals in ``agreeing to disagree type results, Dominated strategies and common knowledge, Reusing and modifying rulebases by predicate substitution, A guide to completeness and complexity for modal logics of knowledge and belief, Syntactic awareness in logical dynamics, A new axiomatization of unified quantum logic, Formal semantics for mutual belief, A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations, A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics, Identity in modal logic theorem proving, A logic of intentions and beliefs, Denumerably many Post-complete normal modal logics with propositional constants, Minimally congruential contexts: observations and questions on embedding E in K, A granularity-based framework of deduction, induction, and abduction, Semantic information and the correctness theory of truth, Time and modality in the logic of agency, Normal bimodal logics of ability and action, An intriguing logic with two implicational connectives, Alternative semantics for unawareness, A theory of permission based on the notion of derogation, An application of rough sets to graph theory, Modal logics for communicating systems, Investigations into a left-structural right-substructural sequent calculus, Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator, Syntactic foundations for unawareness of theorems, A logic for multiple-source approximation systems with distributed knowledge base, A modal logic internalizing normal proofs, A logical formalization of the OCC theory of emotions, Determining the environment: a modal logic for closed interaction, Interrogative belief revision in modal logic, An epistemic model of an agent who does not reflect on reasoning processes, The logic of viewpoints, Non-adjunctive inference and classical modalities, A simple modal logic for belief revision, Knowledge, action, and the frame problem, Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation, On the axiomatisation of Elgesem's logic of agency and ability, Finite and physical modalities, Logics and decidability for labelled pre- and partially ordered Kripke structures, The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics, The epistemic structure of a theory of a game, On the logic of common belief and common knowledge, Awareness and partitional information structures, Effective completeness theorems for modal logic, Alternative approaches to default logic, A non-minimal but very weak axiomatization of common belief, Let Us investigate! Dynamic conjecture-making as the formal logic of abduction, Possible world semantics and autoepistemic reasoning, A decision method for nonmonotonic reasoning based on autoepistemic reasoning, Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics, Deontic logic as founded on nonmonotonic logic, Exploiting the normative aspect of preference: A deontic logic without actions, Towards a formal theory of defeasible deontic conditionals, Counterfactual reasoning by (means of) defaults, The relationship between knowledge, belief, and certainty, Modal logic for default reasoning, Positive modal logic, Natural deduction based upon strict implication for normal modal logics, The logic of non-contingency, A note on assumptions about Skolem functions, On the completeness of first degree weakly aggregative modal logics, On bringing it about, The deliberative stit: A study of action, omission, ability, and obligation, A relevant theory of conditionals, A necessary and sufficient epistemic condition for playing backward induction, Propositional lax logic, Canonicity for intensional logics without iterative axioms, A basic system of congruential-to-monotone bimodal logic and two of its extensions, Belief closure: A semantics of common knowledge for modal propositional logic, A theoretical investigation into quantitative modal logic, A modal contrastive logic: The logic of ``but, Propositional quantification in the topological semantics for \(\mathbf S4\), Prima facie and seeming duties, Two approaches to the formalisation of defeasible deontic reasoning, Common knowledge and update in finite environments, On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief, Typology of axioms for a weighted modal logic, A unified framework for the algebra of unsharp quantum mechanics, Multi-dimensional logic programming: theoretical foundations, Possibilistic reasoning -- a mini-survey and uniform semantics, Quantification in some non-normal modal logics, Compiling specificity into approaches to nonmonotonic reasoning, Synonymous logics, Neighborhoods for entailment, ``That will do: logics of deontic necessity and sufficiency, A decidable multi-modal logic of context, Proof theory for functional modal logic, Remarks on the logic of imagination. A step towards understanding doxastic control through imagination, A context model for fuzzy concept analysis based upon modal logic., The modal logic of agreement and noncontingency, A generalized modal logic in causal structures, Some minimal axiom sets of rough sets, An axiomatic system and a tableau calculus for STIT imagination logic, Combinatorial bitstring semantics for arbitrary logical fragments, Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis, The knower paradox in the light of provability interpretations of modal logic, Subintuitionistic logics and the implications they prove, Neighborhood semantics for modal many-valued logics, A modal logic of intentional communication, A rough logic based on incomplete information and its application, Two views of the theory of rough sets in finite universes, A modal account of similarity-based reasoning, Strong completeness theorems for weak logics of common belief, A general possible worlds framework for reasoning about knowledge and belief, An inferential approach to information retrieval and its implementation using a manual thesaurus, On the possibility theory-based semantics for logics of preference, Relational interpretations of neighborhood operators and rough set approximation operators, On first-order conditional logics, Reaching agreements through argumentation: a logical model and implementation, Axiomatisation of functional dependencies in incomplete relations, Syntactical treatments of propositional attitudes, Common belief in monotonic epistemic logic, A fuzzy logic with interval truth values, Duality between modal algebras and neighbourhood frames, Iterative and fixed point common belief, Proof-search in type-theoretic languages: An introduction, Fuzzy sets and binary-proximity-based rough sets, Interpretations of belief functions in the theory of rough sets, Agency and obligation, Unawareness and partitional information structures, Assessing the truth axiom under incomplete information, On the logic and role of negative introspection of common belief, Constructive and algebraic methods of the theory of rough sets, A comparative study of fuzzy sets and rough sets, Dempster's rule of conditioning translated into modal logic, Uniform semantic treatment of default and autoepistemic logics, Tractable reasoning via approximation, Naming and identity in epistemic logic. II: A first-order logic for naming, The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic, Belief as defeasible knowledge, Moral dilemmas and nonmonotonic logic, Modal logics with the MacIntosh rule, Non-genuine MacIntosh logics, A uniform tableau method for intuitionistic modal logics. I, Decidability by filtrations for graded normal logics. (Graded modalities. V), Axiomatization and completeness of uncountably valued approximation logic, A simple incomplete extension of T which is the union of two complete modal logics with f. m. p, Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic, QUANTIFIED MODAL RELEVANT LOGICS, Differential Game Logic, Annual Meeting of the Association for Symbolic Logic, Durham, 1992, HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description), A Conﬂict Tolerant Logic of Explicit Evidence, Coalgebraic Geometric Logic: Basic Theory, Relating Semantics for Epistemic Logic, Belief, provability, and logic programs, A Structure Theorem for Free Temporal Algebras, Formal semantics for authentication logics, A comparison between monoidal and substructural logics, Knowledge means ‘all’, belief means ‘most’, Trust and agency in the context of communication, On the relation between possibilistic logic and modal logics of belief and knowledge, A Logic of Knowledge and Belief Based on Abstract Arguments, SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION, NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, Arithmetical completeness theorems for monotonic modal logics, Neighbourhood Semantics for Graded Modal Logic, CARNAP’S PROBLEM FOR MODAL LOGIC, <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT, Rooted hypersequent calculus for modal logic \textsf{S5}, Deontic paradoxes in Mīmāṃsā logics: there and back again, An evidence logic perspective on Schotch-Jennings forcing, An Infinitary Graded Modal Logic (Graded Modalities VI), Situation-based connexive logic, Two ways to scare a Gruffalo, The correctness and relevance of the modal ontological argument, Neighborhood semantics for logic of knowing how, The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions, Unnamed Item, Unnamed Item, From Kripke to Neighborhood Semantics for Modal Fuzzy Logics, Negation of Graded Beliefs, A multi-dimensional terminological knowledge representation language, On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, From KLM-style conditionals to defeasible modalities, and back, Modal Tree‐Sequents, A logical approach to multilevel security of probabilistic systems, On the Logic of Common Belief, Modal logics with relative accessibility relations, A unified framework for hypothetical and practical reasoning (1): Theoretical foundations, A resolution-based proof method for temporal logics of knowledge and belief, Ideal and real belief about belief, Labelling ideality and subideality, On the semantics of the unknown, Practical reasoning with procedural knowledge, Distributed modal theorem proving with KE, Efficient loop-check for backward proof search in some non-classical propositional logics, Minimal refinements of specifications in modal and temporal logics, Doxastic logic: a new approach, Resolution-based calculi for modal and temporal logics, Peirce's Search for a Graphical Modal Logic (Propositional Part), AGGREGATION AND IDEMPOTENCE, The Logic of Risky Knowledge, Axiomatizing Hybrid Products of Monotone Neighborhood Frames, Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance, INSTANTIAL NEIGHBOURHOOD LOGIC, Completeness and decidability results for some propositional modal logics containing ``actually operators, Minimal refinements of specifications in modal and temporal logics, A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC, Topological modal logics satisfying finite chain conditions, Probability logic for type spaces, Canonical forms of fuzzy truthoods by meta-theory based upon modal logic, Introducing Polymodal Neighbourhood Logics, Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox, Some contributions to nonmonotonic consequence, A nonstandard approach to the logical omniscience problem, Unnamed Item, Unnamed Item, Effective Finite-Valued Approximations of General Propositional Logics, Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions, A nonstandard approach to the logical omniscience problem, A Review on Rough Sets and Possible World Semantics for Modal Logics, Paraconsistency, Chellas’s Conditional Logics, and Association Rules, MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION, Incorporating an implicit time dimension into the relational model and algebra, Neighbourhood Contingency Bisimulation, A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains, Axiomatic and dual systems for constructive necessity, a formally verified equivalence, A modal action logic based framework for organization specification and analysis, On Modal Logics Defining Jaśkowski-Like Discussive Logics, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, Logic and Game Theory, On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach, A Non-Standard Kripke Semantics for the Minimal Deontic Logic, Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics, Modal multilattice logics with Tarski, Kuratowski, and Halmos operators, A Similarity-Based Three-Valued Modal Logic Approach to Reason with Prototypes and Counterexamples, On the Semilattice of Modal Operators and Decompositions of the Discriminator, Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work), KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, LOGICS FOR PROPOSITIONAL CONTINGENTISM, Towards an intuitionistic deontic logic tolerating conflicting obligations, A capacity-based semantics for inconsistency-tolerant inferences, Is, ought, and cut, Natural deduction calculi for classical and intuitionistic S5, Normal monomodal logics can simulate all others, FIELD THEORY AND MODAL LOGIC BY SEMANTIC FIELDS TO MAKE UNCERTAINTY EMERGE FROM INFORMATION, Evaluation of Information Reported: A Model in the Theory of Evidence, Ten Problems of Deontic Logic and Normative Reasoning in Computer Science, Strategies in Games: A Logic-Automata Study, From Turner’s Logic of Universal Causation to the Logic of GK, The Truth about Defaults, On Hamblin's 15 Tense Theorem, Mīmāṃsā Deontic Logic: Proof Theory and Applications, Introspection, Normality and Agglomeration, Relevant logic as a basis for paraconsistent epistemic logics, Knowledge Means ‘All’, Belief Means ‘Most’, A formal characterisation of Hamblin's action-state semantics, On a rule-based interpretation of default conditionals, A finite model construction for coalgebraic modal logic, A general approach for determining the validity of commonsense assertions using conditional logics, A deductive clustering approach, Binary modal companions for subintuitionistic logics, Sequence Semantics for Normative Agents, Neighborhood Contingency Logic, Modal sequents for normal modal logics, A Modal Logic of Knowledge, Belief, and Estimation, La connaissance commune en logique modale, Modelling phenomena and dynamic logic of phenomena, Regulating competing coalitions: a logic for socially optimal group choices, Equivalence of defeasible normative systems, A modal theorem-preserving translation of a class of three-valued logics of incomplete information, Variants of multi-relational semantics for propositional non-normal modal logics, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Non-normal modalities in variants of linear logic, Substructural epistemic logics, Indexical knowledge and robot action -- a logical account, What is an inference rule?, Neighbourhood semantics for modal relevant logics, Hyperintensional logics for everyone, Epistemic logic without closure, Tracking and managing deemed abilities, On the Decision Problem for Two-Variable First-Order Logic, On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G, Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism, Unnamed Item, Towards Agent-Oriented Relevant Information, Infinitary S5‐Epistemic Logic, Logical approaches to deontic reasoning: From basic questions to dynamic solutions, Neighborhood Semantics for Basic and Intuitionistic Logic, Some considerations on the logics P_FD A logic combining modality and probability, Generalized Agglomerative Clustering with Application to Information Systems, A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces, Rough Sets and Three-Way Decisions, Abstract Concept Lattices, Distributed Modal Logic, Principles Of Talmudic Logic, Dialetheic Conditional Modal Logic, Priest on Negation, A Road to Ultrafilter Extensions, Understanding the Brandenburger-Keisler paradox, Relating Truth, Knowledge and Belief in Epistemic States, How Strong Can an Agent Believe Reported Information ?, Nonmonotonic reasoning based on incomplete logic, Planning temporal events using point-interval logic, Expressivity of coalgebraic modal logic: the limits and beyond, Some comments on history based structures, Conditionals and consequences, Canonicity for Intensional Logics with Even Axioms, Interactive unawareness revisited, A canonical model for interactive unawareness, BELIEF REVISION IN NON-CLASSICAL LOGICS, Characterisation of main classes of fuzzy relations using fuzzy modal operators, Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology, A new Gödelian argument for hypercomputing minds based on the busy beaver problem, Quantification over sets of possible worlds in branching-time semantics, A proof-theoretic view of necessity, Preliminary thoughts on an agent description language, Coalgebraic Hybrid Logic, Reasoning about System-Degradation and Fault-Recovery with Deontic Logic, SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation, Evidence theory in multivalued models of modal logic, Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments, Connexive Extensions of Regular Conditional Logic, On a multilattice analogue of a hypersequent S5 calculus, Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic, A Simple Modal Logic for Reasoning about Revealed Beliefs, Logical Dynamics of Evidence, Logics of Belief over Weighted Structures, An Epistemic Logic with Hypotheses, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, EXPTIME Tableaux for the Coalgebraic μ-Calculus, Belief Change: from Situation Calculus to Modal Logic, 2005–06 Winter Meeting of the Association for Symbolic Logic, Rough operations on Boolean algebras, On obligations and normative ability: Towards a logical analysis of the social contract, A logic for deontic dilemmas, Normative Consistency: An Xstit Account, Modal Platonism: an easy way to avoid ontologial commitment to abstract entities, Topological Perspective on the Hybrid Proof Rules, A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief, Calendar Logic, Admissibility of Cut in Coalgebraic Logics