Sequent systems for nondeterministic propositional logics without reflexivity

DOI10.1007/978-3-642-40948-6_15MaRDI QIDQ2859105zbMATH OpenOpenAlexFDO

Authors Louwe B. Kuijer

Publication date 6 November 2013

Published in Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40948-6_15

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• Logical non-determinism as a tool for logical modularity: an introduction
• The logic of ambiguity: the propositional case
• A sequent calculus for a logic of contingencies
• Reasoning with ambiguity
• A modal logic for non-deterministic discourse processing

Cited in

(6)

• The logic of ambiguity: the propositional case
• A modal logic for non-deterministic discourse processing
• Reasoning with ambiguity
• scientific article; zbMATH DE number 1163926 (Why is no real title available?)
• A logic for reasoning about ambiguity
• How to agree without understanding each other: public announcement logic with Boolean definitions

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Sequent systems for nondeterministic propositional logics without reflexivity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2859105)