scientific article

Patrick Blackburn, Maarten de Rijke, Yde Venema

Publication date: 18 September 2001

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

completeness hybrid logic bisimulation tense logic guarded fragment expressiveness propositional modal logic correspondence theory modal definability complexity classes arrow logic algebraic modal logic (un)decidability extensions of modal logic logic of relational structures modal languages modal model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items

Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ Normal conditions for inference relations and injective models ⋮ Memory and perfect recall in extensive games ⋮ Modal and guarded characterisation theorems over finite transition systems ⋮ Abstract logical constants ⋮ On the modal logic of Jeffrey conditionalization ⋮ Computation as social agency: what, how and who ⋮ Covering-based rough sets and modal logics. II. ⋮ Higher-order contingentism. III: Expressive limitations ⋮ On Sahlqvist formulas in relevant logic ⋮ Formal reasoning in preference-based multiple-source rough set model ⋮ Resolving distributed knowledge ⋮ Typology of axioms for a weighted modal logic ⋮ Complexity results of STIT fragments ⋮ Compositional meaning in logic ⋮ What is a logic translation? ⋮ Quantification in some non-normal modal logics ⋮ A new conditional for naive truth theory ⋮ Global view on reactivity: switch graphs and their logics ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ Constrained consequence ⋮ $\Delta_1$-completions of a poset. ⋮ Resource bisimilarity and graded bisimilarity coincide ⋮ Predicate metric tense logic for `now' and `then' ⋮ Repairing the interpolation theorem in quantified modal logic ⋮ Probabilistic stit logic and its decomposition ⋮ Nonclassical probability and convex hulls ⋮ ``That will do: logics of deontic necessity and sufficiency ⋮ The finite model property for logics with the tangle modality ⋮ Correspondence between Kripke frames and projective geometries ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ On a new tentative solution to Fitch's paradox ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Reverse public announcement operators on expanded models ⋮ A first-order coalition logic for BDI-agents ⋮ Probability logic of finitely additive beliefs ⋮ A dynamic logic of agency. II: Deterministic ${\mathcal{DLA}}$, coalition logic, and game theory ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ Completeness for $\mu$-calculi: a coalgebraic approach ⋮ Expressing discrete spatial relations under granularity ⋮ A semantic hierarchy for intuitionistic logic ⋮ Existence of certain finite relation algebras implies failure of omitting types for $L_n$ ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ On graphs for intuitionistic modal logics ⋮ Expressivity in chain-based modal logics ⋮ The complexity of identifying characteristic formulae ⋮ Adding the power-set to description logics ⋮ Prioritised ceteris paribus logic for counterfactual reasoning ⋮ Implicit, explicit and speculative knowledge ⋮ Completeness for the modal $\mu$-calculus: separating the combinatorics from the dynamics ⋮ Keep changing your beliefs, aiming for the truth ⋮ The monodic fragment of propositional term modal logic ⋮ Local properties in modal logic ⋮ More on $d$-logics of subspaces of the rational numbers ⋮ Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators ⋮ Introspection as an action in relational models ⋮ A coordination approach to mobile components ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Revocable belief revision ⋮ IF modal logic and classical negation ⋮ Modeling reasoning in a social setting ⋮ Subgames within large games and the heuristic of imitation ⋮ A logic for diffusion in social networks ⋮ Natural deduction for first-order hybrid logic ⋮ Stable formulas in intuitionistic logic ⋮ Independence of the dual axiom in modal $\mathbf{K}$ with primitive ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ A proof-theoretic study of the correspondence of hybrid logic and classical logic ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ A hybrid logic for reasoning about knowledge and topology ⋮ Developing bounded reasoning ⋮ Epistemic logic for rule-based agents ⋮ A logic of situated resource-bounded agents ⋮ Non-deterministic semantics for dynamic topological logic ⋮ Solving the \$100 modal logic challenge ⋮ On modal $\mu $-calculus and Gödel-Löb logic ⋮ How true it is = who says it's true ⋮ Topological duality for Boolean algebras with a normal $n$-ary monotonic operator ⋮ Substitution Frege and extended Frege proof systems in non-classical logics ⋮ Modal languages for topology: expressivity and definability ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ Public and private communication are different: Results on relative expressivity ⋮ Axiomatic characterization of the AGM theory of belief revision in a temporal logic ⋮ Metatheory of actions: beyond consistency ⋮ Bounded model checking for knowledge and real time ⋮ Everything else being equal: a modal logic for ceteris paribus preferences ⋮ Determining the environment: a modal logic for closed interaction ⋮ Reasoning about cooperation, actions and preferences ⋮ Introspective forgetting ⋮ Merging frameworks for interaction ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ Knowledge forgetting: properties and applications ⋮ Terminating tableau systems for hybrid logic with difference and converse ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again ⋮ Hybrid logic meets IF modal logic ⋮ Guarded fixed point logics and the monadic theory of countable trees. ⋮ Modal logic, truth, and the master modality. ⋮ Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ On a graph calculus for modalities ⋮ Decidability of order-based modal logics ⋮ Variants of Gödel's ontological proof in a natural deduction calculus ⋮ On Boolean closed full trios and rational Kripke frames ⋮ Logic of temporal attribute implications ⋮ On interval modal logic with ``after relation ⋮ Similarity between preferential models ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ Line-based affine reasoning in Euclidean plane ⋮ The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ Generalising automaticity to modal properties of finite structures ⋮ Some normal extensions of K4.3 ⋮ Specifying and reasoning about uncertain agents ⋮ Logics from Galois connections ⋮ A theoretical investigation of regular equivalences for fuzzy graphs ⋮ Complexity of modal logics with Presburger constraints ⋮ Automated theorem proving by resolution in non-classical logics ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ A finite model construction for coalgebraic modal logic ⋮ Boolean topological distributive lattices and canonical extensions ⋮ Probabilistic argumentation ⋮ A general Lindström theorem for some normal modal logics ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Model theory of XPath on data trees. II: Binary bisimulation and definability ⋮ The modal logic of copy and remove ⋮ A unified rule format for bounded nondeterminism in SOS with terms as labels ⋮ Tree-like constructions in topology and modal logic ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Higher-order contingentism. I: Closure and generation ⋮ The problem of cross-world predication ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Hennessy-Milner properties via topological compactness ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ A topological approach to full belief ⋮ A logical study of group-size based social network creation ⋮ Arbitrary public announcement logic with memory ⋮ Neighbourhood semantics for modal relevant logics ⋮ Continuous accessibility modal logics ⋮ Resolution with order and selection for hybrid logics ⋮ On base radical and semisimple classes defined by class operators ⋮ Finite model property in weakly transitive tense logics ⋮ Action emulation between canonical models ⋮ Some remarks on restricting the knowability principle ⋮ Epistemic closure and commutative, nonassociative residuated structures ⋮ Substantive assumptions in interaction: a logical perspective ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ SLAP: specification logic of actions with probability ⋮ A logical framework for privacy-preserving social network publication ⋮ Capturing equilibrium models in modal logic ⋮ Characterization, definability and separation via saturated models ⋮ Characterizations of maximal consistent theories in the formal deductive system $\mathcal L^{*}$ (NM-logic) and Cantor space ⋮ On the logic of cooperation and propositional control ⋮ A duality for the algebras of a Łukasiewicz $n+1$-valued modal system ⋮ Finite models constructed from canonical formulas ⋮ Temporal interaction of information and belief ⋮ Moral conflicts between groups of agents ⋮ Modal logics of reactive frames ⋮ Characterising modal definability of team-based logics via the universal modality ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ The logic of Pit ⋮ On the rules of intermediate logics ⋮ Connectionist computations of intuitionistic reasoning ⋮ A characterization theorem for injective model classes axiomatized by general rules ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ The modal logic of Bayesian belief revision ⋮ Ontological aspects of the implementation of norms in agent-based electronic institutions ⋮ Logical dynamics of belief change in the community ⋮ Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention ⋮ On final coalgebras of power-set functors and saturated trees ⋮ Paradoxes of interaction? ⋮ A probabilistic approach to rough set theory with modal logic perspective ⋮ Intensional protocols for dynamic epistemic logic ⋮ $\mathrm{K}_{\mathrm S}\mathrm{P}$ a resolution-based theorem prover for ${\mathsf{K}}_n$: architecture, refinements, strategies and experiments ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ From oughts to goals: a logic for Enkrasia ⋮ Complexity of the universal theory of modal algebras ⋮ Rethinking epistemic logic with belief bases ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ A modal logic of supervenience ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ The logic of qualitative probability ⋮ Sequent calculi for global modal consequence relations ⋮ Axiomatizing the logic of imagination ⋮ A propositional dynamic logic for instantial neighborhood semantics ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach) ⋮ A new game equivalence, its logic and algebra ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ Strong noncontingency: on the modal logics of an operator expressively weaker than necessity ⋮ Alternating-time temporal logic ATL with finitely bounded semantics ⋮ Labelled tableau systems for some subintuitionistic logics ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity ⋮ A goal-directed decision procedure for hybrid PDL ⋮ An update logic for information systems ⋮ Refinement in hybridised institutions ⋮ Choice-driven counterfactuals ⋮ Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Characterization, verification and generation of strategies in games with resource constraints ⋮ Hennessy-Milner results for probabilistic PDL ⋮ About the unification type of $\mathbf{K}+\square \square \bot$ ⋮ Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ Formalized soundness and completeness of epistemic logic ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ A general relational semantics of propositional logic: axiomatization ⋮ Modal logic via global consequence ⋮ On the subtle nature of a simple logic of the hide and seek game ⋮ Orthogonal frames and indexed relations ⋮ Characterizations for $\mathrm{XPath}_{\mathcal{R}}(\downarrow)$ ⋮ Uniform interpolation via nested sequents ⋮ Disjunction and negation in information based semantics ⋮ A pure view of ecumenical modalities ⋮ Epistemic planning with attention as a bounded resource ⋮ Weighted modal logic in epistemic and deontic contexts ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ On inverse operators in dynamic epistemic logic ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ A modal logic for supervised learning ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ A duality for two-sorted lattices ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ A Lindström theorem for intuitionistic propositional logic ⋮ Congruence from the operator's point of view. Syntactic requirements on modal characterizations ⋮ On the logic of balance in social networks ⋮ On consistent functions for neighborhood systems ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ The fundamental problem of logical omniscience ⋮ Measuring inconsistency in generalized propositional logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ A history based logic for dynamic preference updates ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ The logic of gossiping ⋮ DEL-based epistemic planning: decidability and complexity ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ A fuzzy modal logic for fuzzy transition systems ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Characterizations of modalities and lex modalities ⋮ Bitopological duality for algebras of Fitting's logic and natural duality extension ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Coalition and relativised group announcement logic ⋮ Modal systems for covering semantics and boundary operator ⋮ Institution-based encoding and verification of simple UML state machines in CASL/SPASS ⋮ Planning-based knowing how: a unified approach ⋮ A lightweight epistemic logic and its application to planning ⋮ On the logic of belief and propositional quantification ⋮ Belnap-Dunn modal logic with value operators ⋮ Probabilization of logics: completeness and decidability ⋮ Proofs and countermodels in non-classical logics ⋮ The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs ⋮ A note on intensionalization ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Theory of $(n)$ truth degrees of formulas in modal logic and a consistency theorem ⋮ Querying linguistic trees ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ S5 knowledge without partitions ⋮ Pooling modalities and pointwise intersection: axiomatization and decidability ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ Reusing topological nexttime logic ⋮ Definable operators on stable set lattices ⋮ A categorical duality for algebras of partial functions ⋮ Computational complexity for bounded distributive lattices with negation ⋮ Axiomatizing logics of fuzzy preferences using graded modalities ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ On ultrafilter extensions of first-order models and ultrafilter interpretations ⋮ Reasoning about distributed information with infinitely many agents ⋮ Bimodal logic with contingency and accident: bisimulation and axiomatizations ⋮ Constructing illoyal algebra-valued models of set theory ⋮ Lambek calculus with conjugates ⋮ Measuring inconsistency in some logics with modal operators ⋮ Positive announcements ⋮ Announcement as effort on topological spaces ⋮ Propositional quantification in bimodal S5 ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Lattices of finitely alternative normal tense logics ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ A formal study of a generalized rough set model based on subset approximation structure ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Categorical specification and implementation of replicated data types ⋮ The impossibility of agreeing to disagree: an extension of the sure-thing principle ⋮ On independent axiomatizability of quasi-normal modal logics ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ Public announcements, public lies and recoveries ⋮ SGGS decision procedures ⋮ Mechanised modal model theory ⋮ Knowledge, awareness and probabilistic beliefs ⋮ Saturated Kripke structures as Vietoris coalgebras ⋮ Paraconsistent Gödel modal logic ⋮ Cyclic proofs, hypersequents, and transitive closure logic ⋮ On the proof theory of infinitary modal logic ⋮ Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases ⋮ Relational semantics for full linear logic ⋮ Bisimilar and logically equivalent programs in PDL ⋮ Extending propositional dynamic logic for Petri nets ⋮ On a graph approach to modal logics ⋮ Automorphisms of the lattice of classical modal logics ⋮ Admissible bases via stable canonical rules ⋮ Modal definability based on Łukasiewicz validity relations ⋮ Modal logics, justification logics, and realization ⋮ A logic of separating modalities ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ A bi-intuitionistic modal logic: foundations and automation ⋮ Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Expressive power of ``now and ``then operators ⋮ Knowledge base exchange: the case of OWL 2 QL ⋮ Checking EMTLK properties of timed interpreted systems via bounded model checking ⋮ A STIT logic for reasoning about social influence ⋮ Covering-based rough sets and modal logics. I. ⋮ The Fitch-Church paradox and first order modal logic ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ On the succinctness of some modal logics ⋮ Importing logics: soundness and completeness preservation ⋮ Modal ontology and generalized quantifiers ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Action emulation ⋮ Logic for physical space. From antiquity to present day ⋮ Adaptive logic as a modal logic ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Branching in the landscape of possibilities ⋮ Algebraic properties of stochastic effectivity functions ⋮ Paraconsistent vagueness: a positive argument ⋮ Completeness results for memory logics ⋮ Sahlqvist theorem for modal fixed point logic ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Natural duality, modality, and coalgebra ⋮ The Ackermann approach for modal logic, correspondence theory and second-order reduction ⋮ Provability and interpretability logics with restricted realizations ⋮ Modal logics of Stone spaces ⋮ Approximating Markov processes through filtration ⋮ A dynamic deontic logic for complex contracts ⋮ On the ternary relation and conditionality ⋮ Subspaces of $\mathbb{Q}$ whose d-logics do not have the FMP ⋮ Sahlqvist correspondence for modal mu-calculus ⋮ Relational semantics of the Lambek calculus extended with classical propositional logic ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ Decidability of an Xstit logic ⋮ Static analysis of XML security views and query rewriting ⋮ On finitely-valued fuzzy description logics ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ Refinement modal logic ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Algorithmic correspondence for intuitionistic modal mu-calculus ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ Some topological properties of paraconsistent models ⋮ Abstract argument games via modal logic ⋮ Information dynamics and uniform substitution ⋮ On axiomatizations of public announcement logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Exploring the tractability border in epistemic tasks ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ On the factivity of implicit intersubjective knowledge ⋮ Montague's theorem and modal logic ⋮ Multiagent belief revision ⋮ Properties of saturation in monotonic neighbourhood models and some applications ⋮ Duality for the logic of quantum actions ⋮ A generalization of the Routley-Meyer semantic framework ⋮ Intricate axioms as interaction axioms ⋮ A dichotomy for some elementarily generated modal logics ⋮ Structural connections between a forcing class and its modal logic ⋮ Rough approximation operators on $R_0$-algebras (nilpotent minimum algebras) with an application in formal logic $\mathcal{L}^\ast$ ⋮ On non-self-referential fragments of modal logics ⋮ Syntactic awareness in logical dynamics ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Graph aggregation ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ Complexity of validity for propositional dependence logics ⋮ Logics of temporal-epistemic actions ⋮ Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces ⋮ On expressive power of basic modal intuitionistic logic as a fragment of classical FOL ⋮ Normal modal logics determined by aligned clusters ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Multimodal epistemic Łukasiewicz logics with application in immune system ⋮ On bisimulations for description logics ⋮ On graph calculi for multi-modal logics ⋮ Connected modal logics ⋮ Canonical extensions and canonicity via dcpo presentations ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Lattice-valued modal propositional logic and its completeness ⋮ A logic for reasoning about counterfactual emotions ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Intermediate logics and Visser's rules ⋮ True lies ⋮ Logics for approximate entailment in ordered universes of discourse ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Duality for $\kappa$-additive complete atomic modal algebras ⋮ About the unification type of modal logics between $\mathbf{KB}$ and $\mathbf{KTB} $ ⋮ Proof complexity of modal resolution ⋮ A positive information logic for inferential information ⋮ The information in intuitionistic logic ⋮ Reasoning about coalitional games ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Restricted arrow ⋮ Rational choice and AGM belief revision ⋮ Deontic action logic, atomic Boolean algebras and fault-tolerance ⋮ Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Arthur Prior and hybrid logic ⋮ A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic ⋮ Pure extensions, proof rules, and hybrid axiomatics ⋮ First-order classical modal logic ⋮ Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations ⋮ Complexity of admissible rules ⋮ Boolean logics with relations ⋮ My beliefs about your beliefs: a case study in theory of mind and epistemic logic ⋮ Social laws in alternating time: effectiveness, feasibility, and synthesis ⋮ Correlated knowledge: an epistemic-logic view on quantum entanglement ⋮ Presenting functors on many-sorted varieties and applications ⋮ Cut elimination in coalgebraic logics ⋮ A logical characterization of extensive games with short sight ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ Symmetric blocking ⋮ Dynamic logics of knowledge and access ⋮ Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) ⋮ Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA ⋮ Justification logics and hybrid logics ⋮ A family of Gödel hybrid logics ⋮ Complexity of hybrid logics over transitive frames ⋮ Hybrid logic with the difference modality for generalisations of graphs ⋮ Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? ⋮ The quasi-lattice of indiscernible elements ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ An NP-complete fragment of fibring logic ⋮ The algebra of functions with antidomain and range ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ A modal provability logic of explicit and implicit proofs ⋮ Kripke semantics for provability logic GLP ⋮ Completeness for flat modal fixpoint logics ⋮ Coalgebraic semantics of modal logics: an overview ⋮ Possible worlds in use ⋮ Axiomatization of modal logic squares with distinguished diagonal ⋮ Logics for stable and unstable mereological relations ⋮ On canonicity of poset expansions ⋮ Reasoning about permitted announcements ⋮ A study on multi-dimensional products of graphs and hybrid logics ⋮ Reasoning about plan revision in BDI agent programs ⋮ Modal logics of some geometrical structures ⋮ The many faces of counts-as: A formal analysis of constitutive rules ⋮ A logic of intention and attempt ⋮ Towards a ``sophisticated model of belief dynamics. I: The general framework ⋮ Methodological naturalism and epistemic internalism ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Automata can show PSpace results for description logics ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography ⋮ Agreement theorems in dynamic-epistemic logic ⋮ Ehrenfeucht-Fraïssé games in finite set theory ⋮ Hybrid logical analyses of the ambient calculus ⋮ Importing logics ⋮ Awareness dynamics ⋮ Expressive power and incompleteness of propositional logics ⋮ Temporal reference in linear tense logic ⋮ A contraction-free and cut-free sequent calculus for propositional dynamic logic ⋮ Using hybrid logic for coping with functions in subset spaces ⋮ An internal version of epistemic logic ⋮ A dynamic-epistemic hybrid logic for intentions and information changes in strategic games ⋮ On the dynamics of institutional agreements ⋮ Stone coalgebras ⋮ A Sahlqvist theorem for distributive modal logic ⋮ Complete axiomatizations for XPath fragments ⋮ Group announcement logic ⋮ General frames for relevant modal logics ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ Encapsulating deontic and branching time specifications ⋮ Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic ⋮ Belief ascription under bounded resources ⋮ Von Wright's ``The logic of preference revisited ⋮ Generalized modal satisfiability ⋮ Probabilistic unawareness ⋮ Modal characterisation theorems over special classes of frames ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ The bounded proof property via step algebras and step frames ⋮ The logic of counterpart theory with actuality ⋮ What is nominalistic mereology? ⋮ Completeness and correspondence in Chellas-Segerberg semantics ⋮ The complexity of one-agent refinement modal logic ⋮ A logic of plausible justifications ⋮ On the modal definability of simulability by finite transitive models ⋮ A logic for multiple-source approximation systems with distributed knowledge base ⋮ Sequent calculi and decidability for intuitionistic hybrid logic ⋮ Tangled modal logic for topological dynamics ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Proof analysis in modal logic ⋮ A simple modal logic for belief revision ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere ⋮ Characterising Behavioural Equivalence: Three Sides of One Coin ⋮ Constructive interpolation in hybrid logic ⋮ Atomless varieties ⋮ Strategies in Games: A Logic-Automata Study ⋮ Specification and Verification of Multi-Agent Systems ⋮ Combining Theories: The Ackerman and Guarded Fragments ⋮ The Modal Logic of Equilibrium Models ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ Private Expansion and Revision in Multi-agent Settings ⋮ Combining Model Checking and Deduction ⋮ The mu-calculus and Model Checking ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Alternative Semantics for Visser’s Propositional Logics ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ A Modal-Layered Resolution Calculus for K ⋮ Mīmāṃsā Deontic Logic: Proof Theory and Applications ⋮ Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference ⋮ Deriving Inverse Operators for Modal Logic ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Sabotage Modal Logic: Some Model and Proof Theoretic Aspects ⋮ On the Expressivity of First-Order Modal Logic with “Actually” ⋮ Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles ⋮ Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Boolean Network Games and Iterated Boolean Games ⋮ Controller/Orchestrator Synthesis via Filtration ⋮ A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus ⋮ Knowledge Means ‘All’, Belief Means ‘Most’ ⋮ The Complexity of One-Agent Refinement Modal Logic ⋮ Minimal Proof Search for Modal Logic K Model Checking ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ A Modal Logic of Knowledge, Belief, and Estimation ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Modal Inclusion Logic: Being Lax is Simpler than Being Strict ⋮ Categories for Dynamic Epistemic Logic ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Expressive Power and Decidability for Memory Logics ⋮ On contraction and the modal fragment ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Free choice in modal inquisitive logic ⋮ Awareness as potential for knowledge ⋮ Intuitionistic propositional logic with Galois negations ⋮ Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Cathoristic Logic ⋮ The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms ⋮ Group Knowledge in Interrogative Epistemology ⋮ Topological Subset Space Models for Public Announcements ⋮ Hintikka’s Knowledge and Belief in Flux ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations ⋮ A Dynamic Logic of Interrogative Inquiry ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Distributed Modal Logic ⋮ Tracking Information ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ Dialetheic Conditional Modal Logic ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ A Road to Ultrafilter Extensions ⋮ Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics ⋮ Relating Truth, Knowledge and Belief in Epistemic States ⋮ Probabilistic Stit Logic ⋮ Parameterized Complexity of CTL ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Improving Translation of Live Sequence Charts to Temporal Logic ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ⋮ Characterizing Relative Frame Definability in Team Semantics via the Universal Modality ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces ⋮ On the Definability of Simulability and Bisimilarity by Finite Epistemic Models ⋮ Relating Bisimulations with Attractors in Boolean Network Models ⋮ An Application of Model Checking Games to Abstract Argumentation ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ Mathematics of Public Announcements ⋮ Logics of Belief over Weighted Structures ⋮ An Epistemic Logic with Hypotheses ⋮ An Alternative Logic for Knowability ⋮ Conditional Ought, a Game Theoretical Perspective ⋮ Correlated Information: A Logic for Multi-Partite Quantum Systems ⋮ Query Answering with DBoxes is Hard ⋮ A Logical Model of the Dynamics of Peer Pressure ⋮ A Modal Representation of Graded Medical Statements ⋮ Hilbert-Style Axiomatization for Hybrid XPath with Data ⋮ Reasoning About Justified Belief Based on the Fusion of Evidence ⋮ On Characterization, Definability and ω-Saturated Models ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics ⋮ Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic ⋮ Modal Predicates and Coequations ⋮ Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations ⋮ Modal Expressiveness of Graph Properties ⋮ Higher-Order Syntax and Saturation Algorithms for Hybrid Logic ⋮ Topological Perspective on the Hybrid Proof Rules ⋮ A Hybridization of Irreflexive Modal Logics ⋮ Decidability of a Hybrid Duration Calculus ⋮ Admissibility of Cut in Coalgebraic Logics ⋮ Towards Syntactic Epistemic Logic ⋮ MEREOLOGICAL BIMODAL LOGICS ⋮ A variety of algebras closely related to subordination algebras ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ О трудностях определения имплицитного знания группы ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ THE LOGIC OF SEQUENCE FRAMES ⋮ PRIORITY MERGE AND INTERSECTION MODALITIES ⋮ CLASSICAL COUNTERPOSSIBLES ⋮ Relating Semantics for Epistemic Logic ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ On Some Modal Type Intuitionistic Fuzzy Operators ⋮ A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ DEL-sequents for regression and epistemic planning ⋮ Algebraic semantics for modal and superintuitionistic non-monotonic logics ⋮ Temporal logic and its application to normative reasoning ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ The expressive power of modal logic with inclusion atoms ⋮ Separation logics and modalities: a survey ⋮ A new framework for justification logic ⋮ The succinctness of the cover modality ⋮ Knowledge means ‘all’, belief means ‘most’ ⋮ Definability in the class of all -frames – computability and complexity ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Mixed algebras and their logics ⋮ Group Belief ⋮ Unnamed Item ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Automating the Calculus of Relations ⋮ Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse ⋮ On the complexity of team logic and its two-variable fragment ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ Continuous propositional modal logic ⋮ Doxastic logic: a new approach ⋮ First-Order Resolution Methods for Modal Logics ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Requirements, specifications, and minimal refinement ⋮ Axiomatizing Hybrid Products of Monotone Neighborhood Frames ⋮ ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ ⋮ The dynamics of information exchange dialogues ⋮ Unnamed Item ⋮ Distributed Relation Logic ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ From Philosophical to Industrial Logics ⋮ Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic ⋮ Unnamed Item ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Unnamed Item ⋮ Beliefs supported by binary arguments ⋮ Completeness Results for Memory Logics ⋮ STABLE MODAL LOGICS ⋮ The Modal Formula (†) $\square \diamondsuit p \supset \square \diamondsuit \square \diamondsuit p$ Is Not First-Order Definable ⋮ Canonical Models and the Complexity of Modal Team Logic ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ A Simple Modal Logic for Reasoning about Revealed Beliefs ⋮ A Logic for Complete Information Systems ⋮ Query Answering in Description Logics: The Knots Approach ⋮ Observational Effort and Formally Open Mappings ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ Description Logics ⋮ Logical Foundations of XML and XQuery ⋮ Terminating Tableau Calculi for Hybrid Logics Extending K ⋮ Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA ⋮ Hybrid Tableaux for the Difference Modality ⋮ Completeness and Complexity of Multi-modal CTL ⋮ Segerberg on the Paradoxes of Introspective Belief Change ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Axiomatization and Completeness of Lexicographic Products of Modal Logics ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ From Intuitionism to Brouwer's Modal Logic ⋮ THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION ⋮ Extensions of Lambek Calculi ⋮ Semiring Provenance for Guarded Logics ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics ⋮ Modal Logics that Bound the Circumference of Transitive Frames ⋮ Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ Justification Logics with Probability Operators ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ ⋮ Modal Logics of Some Hereditarily Irresolvable Spaces ⋮ TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ QUANTIFIED MODAL RELEVANT LOGICS ⋮ Concurrent Dynamic Algebra ⋮ On the Decidability of Elementary Modal Logics ⋮ Power and Limits of Structural Display Rules ⋮ Parametrised Complexity of Satisfiability in Temporal Logic ⋮ Possibilistic Justification Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ On Composing Finite Forests with Modal Logics ⋮ Linear Logic Properly Displayed ⋮ Pairing Traditional and Generic Common Knowledge ⋮ Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms ⋮ Further Steps Towards a Logic of Polarization in Social Networks ⋮ NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF ⋮ To be announced ⋮ Omitting Types in Fragments and Extensions of First Order Logic ⋮ Partitioning Kripke frames of finite height ⋮ Extensions of Solovay's system $\mathbf{S}$ without independent sets of axioms ⋮ Cyclic hypersequent system for transitive closure logic ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Communication pattern logic: epistemic and topological views ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A simple logic of the hide and seek game ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Logics and Their Galaxies ⋮ Completing the Picture: Complexity of Graded Modal Logics with Converse ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ A Carnapian Logic of Conceivability ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Expressivity results for deontic logics of collective agency ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ Topological duality for orthomodular lattices ⋮ Bisimulations and bisimulation games between Verbrugge models ⋮ STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE ⋮ Negation of Graded Beliefs ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ MacNeille completions and canonical extensions ⋮ Modal Tools for Separation and Refinement ⋮ A note on the complexity of S4.2 ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Physical Computational Complexity and First-order Logic ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ Multi-Sorted Residuation ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ Product of Graphs and Hybrid Logic ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ Decidability of Circumscribed Description Logics Revisited ⋮ The epistemology of nondeterminism ⋮ The effort of reasoning: modelling the inference steps of boundedly rational agents ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Introducing Polymodal Neighbourhood Logics ⋮ A Logical Approach to Hamiltonian Graphs ⋮ Terminating Tableaux for Hybrid Logic with Eventualities ⋮ The modal logic of forcing ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ A dynamic logic for learning theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Weak models of distributed computing, with connections to modal logic ⋮ The Complexity of Decomposing Modal and First-Order Theories ⋮ Canonical varieties with no canonical axiomatisation ⋮ Expressivity and Complexity of Dependence Logic ⋮ Finite-Chain Graded Modal Logic ⋮ Similarity of States in Modal Logic ⋮ The Minimal System of Justification Logic with Names ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Ultraproducts of Admissible Models for Quantified Modal Logic ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Proof Complexity of Non-classical Logics ⋮ GOAL Agents Instantiate Intention Logic ⋮ Unnamed Item ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Axiomatic and dual systems for constructive necessity, a formally verified equivalence ⋮ Is Prüfer Code Encoding Always a Bad Idea? ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Dynamic Epistemic Logics ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructive Modalities with Provability Smack ⋮ Modal Satisfiability via SMT Solving ⋮ On the Essential Flatness of Possible Worlds ⋮ Inter-Model Connectives and Substructural Logics ⋮ Copy and remove as dynamic operators ⋮ Logics for Temporal Information Systems in Rough Set Theory ⋮ Quantum monadic algebras ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM ⋮ On Diagrams and General Model Checkers ⋮ The logic of framing effects ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Fixed point logics and definable topological properties ⋮ Tense logics over lattices ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ Subordinations on bounded distributive lattices ⋮ The modal logic of abelian groups ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Are bundles good deals for first-order modal logic? ⋮ Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Kripke contexts, double Boolean algebras with operators and corresponding modal systems ⋮ An axiom system for basic hybrid logic with propositional quantifiers ⋮ Decidability of modal logics of non-$k$-colorable graphs ⋮ ReLo: a Dynamic Logic to Reason About Reo Circuits ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ Modal logic of generalized separated topological spaces ⋮ Multiple-valued semantics for metric temporal logic ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Fixed point logics and definable topological properties ⋮ The logic of secrets and the interpolation rule ⋮ Raising awareness without disclosing truth ⋮ A Spatial Logic for Simplicial Models ⋮ Dynamic Cantor Derivative Logic ⋮ Solving modal logic problems by translation to higher-order logic ⋮ Modal information logics: axiomatizations and decidability ⋮ Dynamic epistemic logics for abstract argumentation ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Unification of Modal Logic via Topological Categories ⋮ Relation-changing models meet paraconsistency ⋮ Logic of visibility in social networks ⋮ The alternation hierarchy of the $\mu $-calculus over weakly transitive frames ⋮ Towards a unified view on logics for uncertainty ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ Completeness and the finite model property for Kleene algebra, reconsidered ⋮ Program semantics and verification technique for AI-centred programs ⋮ Positive modal logic beyond distributivity ⋮ Uniform guarded fragments ⋮ Geometric modal logic ⋮ Reasoning about dependence, preference and coalitional power ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Implicit Knowledge in Unawareness Structures - Extended Abstract - ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ Unnamed Item